Большой энциклопедический словарь - посылка
Посылка
посылка
высказывание (формула), из которого делается вывод или умозаключение. Посылкой могут служить высказывания о фактах, принципы, аксиомы, постулаты и пр.
Рейтинг статьи:
См. в других словарях
1.
Посылка, в широком смысле — то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания — исходные данные, из которых непосредственно или посредством рассуждения можно извлечь какую-либо новую для нас информацию. В этом смысле говорят равно и о П. индукции, и о П. дедукции. В узком смысле, при формально-дедуктивных построениях логики, собственно П. называют высказывания, к которым применяется то или иное правило вывода, или же символизирующие их формулы, входящие в формулировки правил вывода на «языке исследователя». «Симметричным» к понятию П. является понятие логического следствия. Эти понятия, вообще говоря, относительны: высказывание может быть П. в одном применении правила вывода и следствием — в другом. В логических формализмах аксиоматического типа (см. Логика) П. первых шагов дедукции заранее фиксируются в виде аксиом, которые, т. о., играют роль «абсолютных» П., или предпосылок, — процедура вывода должна начинаться обязательно с них. В натуральных исчислениях, в которых рассуждения ведутся по...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5268 | |
2 | 2763 | |
3 | 2660 | |
4 | 2638 | |
5 | 2161 | |
6 | 2158 | |
7 | 1912 | |
8 | 1763 | |
9 | 1756 | |
10 | 1728 | |
11 | 1478 | |
12 | 1474 | |
13 | 1378 | |
14 | 1327 | |
15 | 1288 | |
16 | 1248 | |
17 | 1241 | |
18 | 1149 | |
19 | 1138 | |
20 | 1063 |